منابع مشابه
A Simple Characterization of Database Dependency Implication
Functional dependencies [4] and multivalued dependencies [5,11] are important, widely-studied constraints on databases. A fundamental issue in database theory is the question of determining whether or not a given set of dependencies (in our case, functional and multivalued dependencies) logically implies another given dependency. We provide a simple and elegant set-theoretic characterization fo...
متن کاملA Simple Approach to DNS DoS Defense
We consider DoS attacks on DNS where attackers flood the nameservers of a zone to disrupt resolution of resource records belonging to the zone and consequently, any of its sub-zones. We argue that a minor change in the caching behavior of DNS resolvers can significantly mitigate the impact of such attacks. In our proposal, DNS resolvers do not completely evict cached records whose TTL has expir...
متن کاملThree-Dimensional Stateful Material Implication Logic
Monolithic three-dimensional integration of memory and logic circuits could dramatically improve performance and energy efficiency of computing systems. Some conventional and emerging memories are suitable for vertical integration, including highly scalable metaloxide resistive switching devices (“memristors”), yet integration of logic circuits proves to be much more challenging. Here we demons...
متن کاملSugar-based molecular computing by material implication.
A method to integrate an (in principle) unlimited number of molecular logic gates to construct complex circuits is presented. Logic circuits, such as half- or full-adders, can be reinterpreted by using the functional completeness of the implication function (IMP) and the trivial FALSE operation. The molecular gate IMP is represented by a fluorescent boronic acid sugar probe. An external wiring ...
متن کاملCoherence in a simple network: Implication for brain function
In a many body system, constituents interact with each other, forming a recursive pattern of interaction and giving rise to many interesting phenomena. Based upon concepts of the modern many body theory, a model for a generic many body system is developed. A novel approach is proposed to investigate the general features in such a system. An interesting phase transition in the system is found. P...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1979
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882549